// Specification de l'interface Dictionnary

public interface Dictionnary extends java.rmi.Remote {
	public void addEntity (String term, CategoryType categ, Property[] props, String def)
		throws TermExisted, java.rmi.RemoteException;
	public void delEntity (String term)
		throws TermNotFound, java.rmi.RemoteException;
	public void modifDefinition (String term, String newdef)
		throws TermNotFound, java.rmi.RemoteException;

	public void sortDict (boolean direct)		// ascendant (terme) si direct = TRUE, sinon descendant
		throws java.rmi.RemoteException;
	public long loadDict ()				//retourner la longueur de la liste
		throws DictFilesNotFound, java.rmi.RemoteException;
	public void saveDict ()
		throws java.rmi.RemoteException;

	public Entity findEntity (String term)
		throws TermNotFound, java.rmi.RemoteException;
	public Entity fistEntity ()
		throws DictEmpty, java.rmi.RemoteException;
	public Entity lastEntity ()
		throws DictEmpty, java.rmi.RemoteException;
	public Entity nextEntity ()
		throws DictEmpty, java.rmi.RemoteException;
	public Entity prevEntity ()
		throws DictEmpty, java.rmi.RemoteException;
	public long numEntities ()
		throws java.rmi.RemoteException;
};

